home *** CD-ROM | disk | FTP | other *** search
/ Personal Computer World 2007 September / PCWSEP07.iso / Software / Linux / Linux Mint 3.0 Light / LinuxMint-3.0-Light.iso / casper / filesystem.squashfs / var / lib / dpkg / info / gdm.prerm < prev    next >
Encoding:
Text File  |  2007-04-10  |  2.1 KB  |  69 lines
  1. #!/bin/sh
  2. # Debian gdm package pre-removal script
  3. # Copyright 2001 Branden Robinson.
  4. # Licensed under the GNU General Public License, version 2.  See the file
  5. # /usr/share/common-licenses/GPL or <http://www.gnu.org/copyleft/gpl.txt>.
  6. # Acknowlegements to Stephen Early, Mark Eichin, and Manoj Srivastava.
  7.  
  8. set -e
  9.  
  10. THIS_PACKAGE=gdm
  11. DEFAULT_DISPLAY_MANAGER_FILE=/etc/X11/default-display-manager
  12.  
  13. if [ "$1" = "upgrade" -o "$1" = "failed-upgrade" ]; then
  14.   touch /var/run/gdm.upgrade
  15. fi
  16.  
  17. if [ "$1" = "remove" -o "$1" = "deconfigure" ]; then
  18.   if [ -e /usr/share/debconf/confmodule ]; then
  19.     . /usr/share/debconf/confmodule
  20.     # disown this question
  21.     db_unregister shared/default-x-display-manager
  22.     # does the question still exist?
  23.     if db_get shared/default-x-display-manager; then
  24.       db_metaget shared/default-x-display-manager owners
  25.       db_subst shared/default-x-display-manager choices "$RET"
  26.       db_get shared/default-x-display-manager
  27.       # are we removing the currently selected display manager?
  28.       if [ "$THIS_PACKAGE" = "$RET" ]; then
  29.     if [ -e "$DEFAULT_DISPLAY_MANAGER_FILE" ]; then
  30.       db_get "$RET"/daemon_name
  31.       if [ "$(cat $DEFAULT_DISPLAY_MANAGER_FILE)" = "$RET" ]; then
  32.         rm "$DEFAULT_DISPLAY_MANAGER_FILE"
  33.       fi
  34.     fi
  35.     # ask the user to choose a new default
  36.         db_fset shared/default-x-display-manager seen false
  37.         db_input critical shared/default-x-display-manager || true
  38.         db_go
  39.     # if the display manager file doesn't exist, write it with the path
  40.     # to the new default display manager
  41.     if [ ! -e $DEFAULT_DISPLAY_MANAGER_FILE ]; then
  42.       db_get shared/default-x-display-manager
  43.       echo "Please be sure to run \"dpkg-reconfigure $RET\"."
  44.       db_get "$RET"/daemon_name
  45.       echo "$RET" > "$DEFAULT_DISPLAY_MANAGER_FILE"
  46.     fi
  47.       fi
  48.     fi
  49.   fi
  50. fi
  51.  
  52. if [ "$1" = "remove" ]; then
  53.   if [ -x /etc/init.d/gdm ]; then
  54.     nostop=
  55.     for hostname in "" "localhost" "$(hostname)" "$(hostname -f)"; do
  56.       if echo $DISPLAY | grep -q "^$hostname:0.*"; then
  57.     nostop=yes
  58.       fi
  59.     done
  60.     if [ -z $nostop ]; then
  61.       invoke-rc.d gdm stop || exit $?
  62.     fi
  63.   fi
  64. fi
  65.  
  66.  
  67.  
  68. exit 0
  69.